An insertion operator preserving infinite reduction sequences
نویسندگان
چکیده
منابع مشابه
An insertion operator preserving infinite reduction sequences
A common way to show the termination of the union of two abstract reduction systems, provided both systems terminate, is to prove they enjoy a specific property (some sort of “commutation” for instance). This specific property is actually used to show that, for the union not to terminate, one out of both systems must itself be non-terminating, which leads to a contradiction. Unfortunately, the ...
متن کاملMajorization for Infinite Sequences, an Extension of the Schur-horn Theorem, and Operator Ideals
Abstract. The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences ξ and η that converge to 0, there exists a compact operator A with eigenvalue list η and diagonal sequence ξ if and only if Pn j=1 ξj ≤ Pn j=1 ηj for every n if and only if ξ = Qη for some orthostochastic matrix Q. The similar result requiring equ...
متن کاملEdge-preserving noise reduction in digital video sequences
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملInsertion sequences.
Insertion sequences (ISs) constitute an important component of most bacterial genomes. Over 500 individual ISs have been described in the literature to date, and many more are being discovered in the ongoing prokaryotic and eukaryotic genome-sequencing projects. The last 10 years have also seen some striking advances in our understanding of the transposition process itself. Not least of these h...
متن کاملA Meromorphic-Starlikeness-Preserving Property of an Integral Operator
Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract Let U = {z ∈ C : |z| < 1} be the unit disc in the complex plane.Let Σ k be the class of meromorphic functions f in U having the form: f (z) = 1 z + α k z k + · · · , 0 < |z| < 1, k ≥ 0 A function f ∈ Σ = Σ 0 is called starlike...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2008
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129508006816